Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
981	Inconsistency Management in Software Engineering: Survey and Open Research Issues George Spanoudakis and Andrea Zisman Add to Reading List Source URL: www-master.ufr-info-p6.jussieu.fr Language: English - Date: 2007-09-28 01:15:47 Mathematical logic Systems engineering Software requirements Process management Process modeling Ontology Scientific modelling Conceptual model Cyc Science Logic Predicate logic
982	englishforeveryone.org Name________________ Add to Reading List Source URL: www.englishforeveryone.org Language: English - Date: 2013-05-22 08:45:19 Syntax Grammar Mathematical logic Predicate Semantics Sentence Copula Linguistics Logic Parts of speech
983	[removed]NH U18 Calendrier EN Add to Reading List Source URL: old.fira-aer-rugby.com Language: English M2 Mereology Predicate logic M8
984	Arithmetic Decision Procedures: a simple introduction Michael Norrish Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2003-11-07 00:31:44 Model theory Quantification Complexity classes Predicate logic Quantifier elimination Presburger arithmetic Well-formed formula Arithmetical hierarchy Universal quantification Logic Mathematical logic Mathematics
985	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2013-12-13 09:57:19 Software Formal methods Generic programming Algorithm Mathematical logic Theoretical computer science Stack Predicate transformer semantics Frama-C Mathematics C++ Standard Library Computing
986	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
987	what we disagree about when we disagree about ontology Cian Dorr Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2003-09-19 22:27:43 Semantics Philosophical logic Philosophy of language Veracity Meaning Quantification Proposition Truth Predicate Logic Philosophy Science
988	Vagueness, Truth and Logic Author(s): Kit Fine Source: Synthese, Vol. 30, No. 3/4, On the Logic Semantics of Vagueness (Apr. - May, 1975), Add to Reading List Source URL: www.niu.edu Language: English - Date: 2011-04-05 10:44:21 Semantics Veracity Fuzzy logic Vagueness Predicate Truth Atomic sentence First-order logic Function Logic Predicate logic Philosophical logic
989	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
990	Relating first-order set theories, toposes and categories of classes Steve Awodey Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-30 07:46:02 Model theory Predicate logic Z notation Sheaf theory Topos Categorical logic Axiom schema of replacement Sheaf Constructive set theory Mathematical logic Mathematics Logic

UPDATE